Verbum

ДВАЙНО́ГА АДМАЎЛЕ́ННЯ ЗАКО́Н,

закон логікі, паводле якога адмаўленне адмаўлення (г.зн. паўторанае двойчы адмаўленне) дае сцвярджэнне. Напр.: «Калі няправільна, што сусвет не з’яўляецца бясконцым, то ён бясконцы». Гэты закон вядомы з часоў антычнасці. Стараж.-грэч. філосафы Зянон Элейскі і Горгій выкладалі яго так: калі з адмаўлення якога-н. выказвання выходзіць супярэчнасць, то мае месца двайное адмаўленне зыходнага выказвання, г.зн. яно само. Д.а.з. запісваецца ў вылічэнні выказванняў сучаснай матэм. логікі наступным чынам: a→A, што чытаецца так: «двайное адмаўленне a мае вынікам A′» (знак → — знак імплікацыі, які адпавядае злучніку «калі, то»). Другі закон логікі, які гаворыць аб магчымасці не здымаць, а ўводзіць 2 адмаўленні, называюць зваротным Д.а.з.; двайное сцвярджэнне мае вынікам сваё двайное адмаўленне. Напр.: «Калі Шэкспір пісаў санеты, то няпраўда, што ён не пісаў санеты». Аб’яднанне гэтых 2 законаў дае поўны Д.а.з.: двайное адмаўленне раўназначна сцвярджэнню. Напр.: «Планеты не нерухомыя толькі ў тым выпадку, калі яны рухаюцца».

т. 6, с. 74